1. Assessment of Freshwater Use and Cycling in Petrochemical Industry
پدیدآورنده : Md Ariful Islam
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chemical engineering; Sustainability; Environmental engineering,Social sciences;Applied sciences
2. Formal Verification of Nonlinear Biological Systems
پدیدآورنده : Md Ariful Islam
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Applied sciences;C. elegans;Cardiac electrophysiology;Compositional reasoning;Formal verification;Nonlinear system;Reachability analysis
